It has been shown recently that monodic first-order temporal logic without functional symbols but with equality is incomplete, i.e., the set of the valid formulae of this logic is not recursively enumerable. In this paper we show that an even simpler fragment consisting of monodic monadic two-variable formulae is not recursively enumerable.

Radical ecology typically brings to mind media images of ecological activists standing before loggers' saws, staging anti-nuclear marches, and confronting polluters on the high seas. Yet for more than twenty years, the activities of organizations such as the Greens and Earth First! have been influenced by a diverse, less-publicized group of radical ecological philosophers. It is their work—the philosophical underpinnings of the radical ecological movement—that is the subject of _Contesting Earth's Future_. The book offers a much-needed, balanced appraisal of radical (...) ecology's principles, goals, and limitations. Michael Zimmerman critically examines the movement's three major branches—deep ecology, social ecology, and ecofeminism. He also situates radical ecology within the complex cultural and political terrain of the late twentieth century, showing its relation to Martin Heidegger's anti-technological thought, 1960s counterculturalism, and contemporary theories of poststructuralism and postmodernity. An early and influential ecological thinker, Zimmerman is uniquely qualified to provide a broad overview of radical environmentalism and delineate its various schools of thought. He clearly describes their defining arguments and internecine disputes, among them the charge that deep ecology is an anti-modern, proto-fascist ideology. Reflecting both the movement's promise and its dangers, this book is essential reading for all those concerned with the worldwide ecological crisis. (shrink)

In autonomous action the agent herself directs and governs the action. But what is it for the agent herself to direct and to govern? One theme in a series of articles by Harry G. Frankfurt is that we can make progress in answering this question by appeal to higher-order conative attitudes. Frankfurt's original version of this idea is that in acting of one's own free will, one is not acting simply because one desires so to act. Rather, it is also (...) true that this desire motivates one's action because one desires that this desire motivate one's action. This latter desire about the motivational role of one's desire is a second-order desire. It is, in particular, what Frankfurt calls a second-order “volition.” And, according to Frankfurt's original proposal, acting of one's own free will involves in this way such second-order, and sometimes yet higher order, volitions. (shrink)

Drawing upon selected literature from the United Kingdom, Denmark, and Canada we examine how Foucault's concepts of ‘episteme’, ‘rupture’ ‘parrhesia’ ‘care of the self’, and ‘problemitization’ have been applied to particular contexts of leadership development, pedagogy, nursing knowledge, and the relationship between caring and politics. Our aims are threefold: to give examples of how selected Foucauldian concepts have been taken up in practice; to clarify how we are positioned today as nurses; and to invite more nurses to engage critically with (...) historical inquiry and to engage in deep philosophical reflection about their relationship with nursing. We begin by examining the conditions and circumstances of Foucault's life, and conclude by posing the question in our subtitle to stimulate debate about the philosophical relevance of Foucauldian scholarship to nursing. (shrink)

Physical theories often characterize their observables with real number precision. Many non-fundamental theories do so needlessly: they are more precise than they need to be to capture the physical matters of fact about their observables. A natural expectation is that a truly fundamental theory will require its full precision in order to exhaustively capture all of the fundamental physical matters of fact. I argue against this expectation and I show that we do not have good reason to expect that the (...) standard of precision set by successful theories, or even by a truly fundamental theory, will match the granularity of the physical facts. (shrink)

Controversy and activism have long been linked to the subject of primate research. Even in the midst of raging ethical debates surrounding fertility treatments, genetically modified foods and stem-cell research, there has been no reduction in the campaigns of activists worldwide. Plying their trade of intimidation aimed at ending biomedical experimentation in all animals, they have succeeded in creating an environment where research institutions, often painted as guilty until proven innocent, have avoided addressing the issue for fear of becoming targets. (...) One area of intense debate is the use of primates in stroke research. Despite the fact that stroke kills more people each year than AIDS and malaria, and less than 5% of patients are candidates for current therapies, there is significant opposition to primate stroke research. A balanced examination of the ethics of primate stroke research is thus of broad interest to all areas of biomedical research. (shrink)

The Strange Situation procedure was developed by Ainsworth two decades agoas a means of assessing the security of infant-parent attachment. Users of the procedureclaim that it provides a way of determining whether the infant has developed species-appropriate adaptive behavior as a result of rearing in an evolutionary appropriate context, characterized by a sensitively responsive parent. Only when the parent behaves in the sensitive, species-appropriate fashion is the baby said to behave in the adaptive or secure fashion. Furthermore, when infants are (...) observed repeatedly in the Strange Situation,the pattern of behavior is said to be highly similar, and this pattern is said to predict the infants' future behavior in a diverse array of contexts. After an exhaustive review of the literature, it is shown that these popular claims are empirically unsupported in their strong form, and that the interpretations in terms of biological adaptationare misguided. There is little reliable evidence about the specific dimensions of parental behavior that affect Strange Situation behavior, although there does appear to be some relationship between these constructs. Temporal stability in security of attachment ishigh only when there is stability in family and caretaking circumstances. Likewise, patterns of Strange Situation behavior only have substantial predictive validity in similarly stable families. Implications for future research and theorizing — particularly as they relate to the use of evolutionary biology in psychological theory — are discussed. (shrink)

Ray Kurzweil and others have posited that the confluence of nanotechnology, artificial intelligence, robotics, and genetic engineering will soon produce posthuman beings that will far surpass us in power and intelligence. Just as black holes constitute a ldquo;singularityrdquo; from which no information can escape, posthumans will constitute a ldquo;singularity:rdquo; whose aims and capacities lie beyond our ken. I argue that technological posthumanists, whether wittingly or unwittingly, draw upon the long-standing Christian discourse of ldquo;theosis,rdquo; according to which humans are capable of (...) being God or god-like. From St. Paul and Luther to Hegel and Kurzweil, the idea of human self-deification plays a prominent role. Hegel in particular emphasizes that God becomes wholly actualized only in the process by which humanity achieves absolute consciousness. Kurzweil agrees that God becomes fully actual only through historical processes that illuminate and thus transform the entire universe. The difference is that for Kurzweil and many other posthumanists, our offspringmdash;the posthumansmdash;will carry out this extraordinary process. What will happen to Home sapiens in the meantime is a daunting question. (shrink)

A study of Chrisoula Andreou’s Choosing Well. Andreou defends “a revisionary way of understanding instrumental rationality,” one that contrasts with “standard conceptions of instrumental rationality” that are characteristic of orthodox decision theory. I applaud Andreou’s revisionary efforts but explore whether they lead to a yet further revision that appeals to norms of plan rationality.

Daniel, Michael E Review of: Martin Griver unearthed, by Odhran O'Brien, Strathfield, NSW: St Pauls, 2014, pp. 261, hardback, $39.95; paperback, $35.95.

Daniel, Michael E Review(s) of: Benedict XVI: A guide for the perplexed, by Tracey Rowland, London: T and T Clark International, 2010, pp.160, $29.95.

These essays exhibit explanation and argument regarding some of the possible answers to these fundamental questions in moral philosophy.

ABSTRACT:Despite sustained attention to ethical leadership in organizations, scholarship remains largely descriptive. This study employs an empirical approach to examine the consequences of ethical leadership on leader promotability. From a sample of ninety-six managers from two independent organizations, we found that ethical leaders were increasingly likely to be rated by their superior as exhibiting potential to reach senior leadership positions. However, leaders who displayed increased ethical leadership were no more likely to be viewed as promotable in the near-term compared to (...) those who displayed less ethical leadership. Our findings also show ethical culture and pressure to achieve results are important contextual factors that moderate the relationships between ethical leadership and leader promotability to senior leadership roles. (shrink)

Logicians disagree on (1) criteria for the presence of an argument, (2) criteria for adding implicit premises and (3) criteria for linking premises. I attempt to resolve all three problems, and in the process to remove the main obstacles to teaching diagramming. The first problem is resolved by working with real discourse that students find on their own, rather than the artificial examples and problems found in logic texts; it is further reduced by examining the different uses of argument and (...) understanding the extent to which the basic rules of diagramming are the same for the various uses. The other disagreements persist because logicians neglect to clarify the principal type of eakness we remedy by adding implicit premises and linking premises: in real discourse we do so to block substantive counterexamples, an idea correlated with that of substantive deduction, discussed by Govier, Wright and others. (shrink)

A précis of Michael E. Bratman, Shared Agency: A Planning Theory of Acting Together (Oxford University Press, 2014).

I flesh out the sense in which the informational approach to interpreting quantum mechanics, as defended by Pitowsky and Bub and lately by a number of other authors, is (neo-)Bohrian. I argue that on this approach, quantum mechanics represents what Bohr called a “natural generalisation of the ordinary causal description” in the sense that the idea (which philosophers of science like Stein have argued for on the grounds of practical and epistemic necessity) that understanding a theory as a theory of (...) physics requires that one be able to “schematise the observer” within it is elevated in quantum mechanics to the level of a postulate in the sense that interpreting the outcome of a measurement interaction, as providing us with information about the world, requires as a matter of principle, the specification of a schematic representation of an observer in the form of a ‘Boolean frame’—the Boolean algebra representing the yes-or-no questions associated with a given observable representative of a given experimental context. I argue that the approach’s central concern is with the methodological question of how to assign physical properties to what one takes to be a system in a given experimental context, rather than the metaphysical question of what a given state vector represents independently of any context, and I show how the quantum generalisation of the concept of an open system may be used to assuage Einstein’s complaint that the orthodox approach to quantum mechanics runs afoul of the supposedly fundamental methodological requirement to the effect that one must always be able, according to Einstein, to treat spatially separated systems as isolated from one another. (shrink)

Radical ecology typically brings to mind media images of ecological activists standing before loggers' saws, staging anti-nuclear marches, and confronting polluters on the high seas. Yet for more than twenty years, the activities of organizations such as the Greens and Earth First! have been influenced by a diverse, less-publicized group of radical ecological philosophers. It is their work—the philosophical underpinnings of the radical ecological movement—that is the subject of _Contesting Earth's Future_. The book offers a much-needed, balanced appraisal of radical (...) ecology's principles, goals, and limitations. Michael Zimmerman critically examines the movement's three major branches—deep ecology, social ecology, and ecofeminism. He also situates radical ecology within the complex cultural and political terrain of the late twentieth century, showing its relation to Martin Heidegger's anti-technological thought, 1960s counterculturalism, and contemporary theories of poststructuralism and postmodernity. An early and influential ecological thinker, Zimmerman is uniquely qualified to provide a broad overview of radical environmentalism and delineate its various schools of thought. He clearly describes their defining arguments and internecine disputes, among them the charge that deep ecology is an anti-modern, proto-fascist ideology. Reflecting both the movement's promise and its dangers, this book is essential reading for all those concerned with the worldwide ecological crisis. (shrink)

I argue that the many worlds explanation of quantum computation is not licensed by, and in fact is conceptually inferior to, the many worlds interpretation of quantum mechanics from which it is derived. I argue that the many worlds explanation of quantum computation is incompatible with the recently developed cluster state model of quantum computation. Based on these considerations I conclude that we should reject the many worlds explanation of quantum computation.